theorem prover
定理證明程序
熱門查詢
- Lawford [人名] [英格蘭人姓氏] 勞福德住所名稱，來源于古英語人名Lealla+“津渡”(ford); [地名] [英國] 勞福德
- gell [人名] [英格蘭人姓氏] 蓋爾 Julian的昵稱
- newsgroup n. 新聞組
- parity n. 平價；同等；相等；胎次；分娩
- hovering n. 停懸；空中懸停 v. 徘徊（hover的ing形式）；盤旋
- Hebden [人名] [英格蘭人姓氏] 赫布登住所名稱，來源于古英語，含義是“薔薇果+河谷”(rosehip+valley); [地名] [英國] 赫布登
- BOC abbr. back outlet central 后輸出口電話總機; 后引（出）線電話總機; body on chassis 底盤上車身; butoxycarbonyl 丁氧羰基
- screw n. 螺旋；螺絲釘；吝嗇鬼 vt. 旋，擰；壓榨；強迫 vi. 轉動，擰
- find n. 發現 vi. 裁決 vt. 查找，找到；發現；認為；感到；獲得 n. (Find)人名；(丹)芬
- chaparral n. 叢林；茂密的樹叢 n. (Chaparral)人名；(西)查帕拉爾
- AZT abbr. 艾滋病防護藥（azidothymidine）
- pickax n. 鶴嘴鋤；鎬 vt. 以鶴嘴鋤挖之 vi. 使用鶴嘴鋤
- watergate n. 水門, 水閘；水門事件
- reassume vt. 再假定；再采取；再承擔
- starched adj. 僵硬的；拘泥刻板的；硬挺的 vi. 給…上漿（starch的過去式及過去分詞）
- thimbleful n. 極少量
- antifungal adj. 抗真菌的；殺真菌的
- goof n. 呆瓜 vt. 弄糟 vi. 打發時間；混；出大錯
- Biennale 兩年一次的
- deny vi. 否認；拒絕 vt. 否定，否認；拒絕給予；拒絕…的要求
考試詞匯表
